$\forall$$P$:$\mathbb{P}$. SqStable($P$) $\Leftarrow\!\Rightarrow$ Stable\{$P$\}